101. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
102. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
103. Foundational and practical aspects of resource analysis :
Author: Ricardo Peña, Marko Eekelen, Olha Shkaravska (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Computer software -- Development.
104. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011
105. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011
106. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
107. Frontier computing :
Author: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
108. Fundamental approaches to software engineering :
Author: Alessandra Russo, Andy Schürr (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
Classification :
QA76
.
758
.
F37
2018eb
109. Fundamental approaches to software engineering
Author: Juan de Lara, Andrea Zisman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
F44
2012eb
110. Handbook of Industrial system Safty engineering and risk Assessment
Author: / edited by Lee Gaumer
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software--Development--Congresses,Model-integrated computing--Congresses,Model-driven software architecture--Congresses,Computer software--Development.--fast--(OCoLC)fst00872537,Model-driven software architecture.--fast--(OCoLC)fst01745121,Model-integrated computing.--fast--(OCoLC)fst01739357,Conference proceedings.--fast--(OCoLC)fst01423772
Classification :
TS156
.
G285
2012
R
111. Human-centered software engineering :
Author: Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque, Marco Winckler (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,User-centered system design, Congresses.,Software engineering.,User-centered system design.
Classification :
QA76
.
9
.
H85
112. Human systems engineering and design :
Author: Tareq Ahram, Waldemar Karwowski, Redha Taiar, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human engineering, Congresses.,Artificial intelligence.,Cognition & cognitive psychology.,Human engineering.,Software Engineering.,Technical design.,TECHNOLOGY & ENGINEERING / Engineering (General),TECHNOLOGY & ENGINEERING / Reference.,User interface design & usability.
Classification :
TA166
113. Industrial networks and intelligent systems :
Author: Trung Q Duong, Nguyen-Son Vo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Industrial applications, Congresses.,Expert systems (Computer science), Congresses.,Computer networks-- Industrial applications.,Expert systems (Computer science)
Classification :
TK5105
.
5
114. Industrial perspectives of safety-critical systems :
Author: Felix Redmill and Tom Anderson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.
115. Industrial perspectives of safety-critical systems :
Author: Felix Redmill and Tom Anderson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.
Classification :
T55
.
A1
F455
1998
116. Informatics in schools :
Author: Sergei N. Pozdniakov, Valentina Dagienė (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Education-- Information technology, Congresses.,Computer Appl. in Social and Behavioral Sciences.,Computers and Education.,Educational Technology.,Software Engineering/Programming and Operating Systems.,Computer-assisted instruction.,Computers-- Data Processing.,Computers-- Software Development & Engineering-- General.,Education-- Computers & Technology.,Education-- Data processing.,Educational equipment & technology, computer-aided learning (Calif.),Society & social sciences.,Software Engineering.
Classification :
LB1028
.
43
117. Information, Computer and Application Engineering
Author: \ editors, Hsiang-Chuan Liu, Wen-Pei Sung, Wenli-Yao
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Information technology -- Technological innovations -- Congresses.,Computer science -- Technological innovations -- Congresses.,Application software -- Development -- Congresses,تکنولوژی اطلاعات -- نوآوری -- کنگره ها ,کامپیوتر -- نوآوری -- کنگره ها ,نرمافزار کاربردی -- طراحی و توسعه -- کنگره ها
Classification :
T
58
.
5
.
I5
2015
E-Book
,
118. Information Science and applications
Author: Kuinam J. Kim, Hye-Young Kim, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Information technology, Congresses.,Computer software-- Development.,Information technology.
Classification :
T58
.
5
119. Information Technology -- New Generations :
Author: Shahram Latifi, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Electrical engineering.,Information technology, Congresses.,Algorithms & data structures.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electrical engineering.,Information retrieval.,Information technology.
Classification :
QA75
.
5
120. Information and communication technologies of Ecuador (TIC.EC) /
Author: Miguel Botto-Tobar, Lida Barba-Maggi, Javier González-Huerta, Patricio Vallacrés-Cevallos, Omar S. Gómez, María I. Uvidia-Fassler, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Information technology-- Management, Congresses.,Information technology, Congresses.,Software engineering, Congresses.,Artificial Intelligence.,Computational Intelligence.,Artificial intelligence.,BUSINESS & ECONOMICS / Industrial Management.,BUSINESS & ECONOMICS / Management Science.,BUSINESS & ECONOMICS / Management.,BUSINESS & ECONOMICS / Organizational Behavior.,Computer networks.,Information technology-- Management.,Information technology.,Software engineering.
Classification :
HD30
.
2
